Logic programming

Results: 2694



#Item
31Under consideration for publication in Theory and Practice of Logic Programming 1 Multi-threaded ASP Solving with clasp Martin Gebser and Benjamin Kaufmann and Torsten Schaub∗

Under consideration for publication in Theory and Practice of Logic Programming 1 Multi-threaded ASP Solving with clasp Martin Gebser and Benjamin Kaufmann and Torsten Schaub∗

Add to Reading List

Source URL: www.cs.uni-potsdam.de

- Date: 2012-06-27 10:05:03
    32Concurrent Programming Constructs in Multi-Engine Prolog Parallelism just for the cores (and not more!) Paul Tarau Department of Computer Science and Engineering, Univ of North Texas

    Concurrent Programming Constructs in Multi-Engine Prolog Parallelism just for the cores (and not more!) Paul Tarau Department of Computer Science and Engineering, Univ of North Texas

    Add to Reading List

    Source URL: logic.cse.unt.edu

    - Date: 2011-01-23 15:58:50
      33Call-by-Value in a Basic Logic for Interaction Ulrich Sch¨opp Ludwig-Maximilians-Universit¨at M¨unchen Abstract. In game semantics and related approaches to programming language semantics, programs are modelled by int

      Call-by-Value in a Basic Logic for Interaction Ulrich Sch¨opp Ludwig-Maximilians-Universit¨at M¨unchen Abstract. In game semantics and related approaches to programming language semantics, programs are modelled by int

      Add to Reading List

      Source URL: www2.tcs.ifi.lmu.de

      - Date: 2014-09-02 06:12:08
        34ActionScript Bytecode Verification With Co-Logic Programming ∗ Brian W. DeVries Gopal Gupta Kevin W. Hamlen

        ActionScript Bytecode Verification With Co-Logic Programming ∗ Brian W. DeVries Gopal Gupta Kevin W. Hamlen

        Add to Reading List

        Source URL: utdallas.edu

        - Date: 2009-06-05 21:13:38
          35¨ t zu Kiel Christian-Albrechts-Universita Diploma Thesis Functional Logic Programming with Databases

          ¨ t zu Kiel Christian-Albrechts-Universita Diploma Thesis Functional Logic Programming with Databases

          Add to Reading List

          Source URL: www-ps.informatik.uni-kiel.de

          - Date: 2014-06-15 10:44:35
            36On Functional Logic Programming and its Application to Testing Dissertation zur Erlangung des akademischen Grades Doktor der Naturwissenschaften (Dr. rer. nat.)

            On Functional Logic Programming and its Application to Testing Dissertation zur Erlangung des akademischen Grades Doktor der Naturwissenschaften (Dr. rer. nat.)

            Add to Reading List

            Source URL: www-ps.informatik.uni-kiel.de

            - Date: 2014-06-15 10:44:56
              37On Functional Logic Programming and its Application to Testing Sebastian Fischer Programming Languages and Compiler Construction Department of Computing Science Christian-Albrechts University of Kiel

              On Functional Logic Programming and its Application to Testing Sebastian Fischer Programming Languages and Compiler Construction Department of Computing Science Christian-Albrechts University of Kiel

              Add to Reading List

              Source URL: www-ps.informatik.uni-kiel.de

              - Date: 2014-06-15 10:42:57
                38Logic Programming for Software-Defined Networks 1. Naga Praveen Katta

                Logic Programming for Software-Defined Networks 1. Naga Praveen Katta

                Add to Reading List

                Source URL: frenetic-lang.org

                - Date: 2016-06-10 23:59:37
                  39Towards Integrating Fuzzy Logic Capabilities into an Ontology-based Inductive Logic Programming Framework Josu´e Iglesias Telecommunications Engineering School Technical University of Madrid, Spain Email:

                  Towards Integrating Fuzzy Logic Capabilities into an Ontology-based Inductive Logic Programming Framework Josu´e Iglesias Telecommunications Engineering School Technical University of Madrid, Spain Email:

                  Add to Reading List

                  Source URL: jens-lehmann.org

                  - Date: 2016-08-19 06:05:24
                    40Under consideration for publication in Theory and Practice of Logic Programming 1 D-FLAT: Declarative Problem Solving Using Tree Decompositions and Answer-Set Programming

                    Under consideration for publication in Theory and Practice of Logic Programming 1 D-FLAT: Declarative Problem Solving Using Tree Decompositions and Answer-Set Programming

                    Add to Reading List

                    Source URL: dbai.tuwien.ac.at

                    - Date: 2013-06-20 14:18:41